bugün məsləhət təsadüfi
sözaltı sözlük
postlar Yoxlama mesaj

...

isbat köməkçiləri

| proqramlama
435 | 2 | 2

əjdahalar  googlla
sözaltı günlük - sözaltı etiraf - grigori perelman - məhəmməd əmin rəsulzadə ensiklopediyası - dörd ölçülü hamar puankare hipotezi - riyaziyyat - kakeya hipotezi - dahi riyaziyyatçılar - topologiya - robert langlands

    💛

    Yalnız deyilsən!

    Bu duyğuların müvəqqəti olduğunu və kömək mövcud olduğunu bilmək vacibdir. Dostlarınıza, ailənizə, profesionallara müraciət etməyiniz vacibdir. Sizi dinləmək və lazım olan dəstəyi təmin etmək istəyən insanlar var.

    Sözlük yazarları olaraq səni hər zaman dinləyə bilərik.

    Əgər yalnız hiss edirsənsə, qaynar xəttə zəng et:

    ☎ 860
    1. coq və s. kimiləri olan və riyaziyyat teoremlərininin isbatlarını kompyuter proqramlaşdırma dillərinə çevirə bildiyimiz və bununla da asanlıqla isbatın doğru olub olmadığını yoxlaya biləcəyimiz vasitələr. voevodsky tərəfindən yaradılmış və topologiyadakı homotopiya anlayışına söykənən homotopy type theory hal-hazırda bu isbat köməkçiləri ilə işləmək üçün ən rahat namizəd nəzəriyyədir. azca kompyuter bilgisi, az-maz topologiya bilən varsa bu kitabı oxusun: https://www.heidelberg-laureate-forum.org/wp-content/uploads/2013/10/homotopy-type-theory_univalent-foundations-of-mathematics.pdf

    qeyd. homotopiya haqda asan öyrənmək üçün buyurun:
    (youtube: )

    2 əjdaha!

    03.05.2020 12:30, sistem robotu


üzv ol
Modalı bağla





...